A Computational Model of Tractable Reasoning - Taking Inspiration from Cognition
نویسنده
چکیده
Po lynomia l t i m e complex i ty is the usual ' t h resho ld ' for d is t ingu ish ing the t rac tab le f r o m the in t rac tab le and i t may seem reasonable to adopt th is no t i on o f t rac tab i l i t y in the context o f knowledge representat ion and reasoning. I t is argued tha t do ing so may be inappropr ia te in the context of c o m m o n sense reasoning underl y i ng language unders tand ing. A more s t r in gent c r i te r ia of t r ac tab i l i t y is proposed. A resul t about reasoning t ha t is t rac tab le in th is stronger sense is ou t l i ned . Some unusual properties of t rac tab le reasoning emerge when the fo rma l speci f icat ion is grounded in a neural ly p lausible archi tecture.
منابع مشابه
Presenting the model of moral development in teenagers according to metacognitive components with the emphasis on social cognition theory
The purpose of this study was to develop a model of moral development based on metacognitive components with the mediation of social cognition. The statistical population included all the first high school students in Khorramabad city, among whom 311 (146 males and 165 females) were selected based on multistage cluster sampling method and completed Rest and colleagues` moral reasoning, Swanson ...
متن کاملA Computational Model of Tractable Reasoning
Polynomial time complexity is the usuaìthreshold' for distinguishing the tractable from the intractable and it may seem reasonable to adopt this notion of tractability in the context of knowledge representation and reasoning. It is argued that doing so may be inappropriate in the context of common sense reasoning underlying language understanding. A more stringent criteria of tractability is pr...
متن کاملModeling medical diagnosis using a comprehensive cognitive architecture
Medical diagnosis is accomplished by a set of complex cognitive processes requiring the iterative application of Charles Sanders Peirce’s three modes of inference: abduction, deduction, and induction. Previous research in computational modeling of medical diagnosis has had only limited success by defining sub-domains which offer a computationally tractable problem. However, the aspect of diagno...
متن کاملGoal-Driven Cognition in the Brain: A Computational Framework
Current theoretical and computational models of dopamine-based reinforcement learning are largely rooted in the classical behaviorist tradition, and envision the organism as a purely reactive recipient of rewards and punishments, with resulting behavior that essentially reflects the sum of this reinforcement history. This framework is missing some fundamental features of the affective nervous s...
متن کاملAuthor’s draft to appear in 2016 in: SPRINGER HANDBOOK OF MODEL-BASED SCIENCE Computational Aspects of Model-Based Reasoning
Content 1. Computational turn seen from different perspectives 2. Models of computation 2.1 Turing machine model of computation and its scope 2.2 Computation as information processing 3. Computation and information 4. The difference between mathematical and computational (executable) models 5. Computation in the wild 5.1 Physical computation – computing nature 5.2 New computationalism. Non-symb...
متن کامل